Dozent: Meinecke, Ingmar
Automatentheorie für Bachelor | Mo | 1315-1445 | S 114 | S | Droste, Manfred; Meinecke, Ingmar |
Automatentheorie für Master | Do | 1315-1445 | S 212 | S | Droste, Manfred; Meinecke, Ingmar |
Verifikation reaktiver Systeme durch Model Checking | Di | 1715-1845 | S 312 | VW | Meinecke, Ingmar |
Stundenplaner,
© Sergej Melnik, 1997.
Für meine Kommilitonen am IfI.
Betreuung/Änderungen: Andreas Zerbst